(Checklist): ifinfo -> ifnottex.

diff --git a/man/trouble.texi b/man/trouble.texi
index 9e09dac4d4358c1357dcca92246193841ff89fe2..a462c2468b7d2ba56ef2ab178999168fe3393784 100644 (file)
--- a/man/trouble.texi
+++ b/man/trouble.texi
@@ -890,10 +890,10 @@ understand it at all.  And if we can't understand what bug you are
 trying to fix, or why your patch should be an improvement, we mustn't
 install it.
 
-@ifinfo
+@ifnottex
 @xref{Sending Patches}, for guidelines on how to make it easy for us to
 understand and install your patches.
-@end ifinfo
+@end ifnottex
 
 @item
 A guess about what the bug is or what it depends on.